Actuellement, je suis en deuxième année de thèse de doctorat en Informatique au CRIL (Centre de Recherche en Informatique de Lens).
Je suis sous la direction de Salem BENFERHAT, professeur des universités à l'universités d'Artois et Habiba DRIAS, professeur des universités à l'U.S.T.H.B.
Mes travaux s'inscrivent dans le cadre de l'Intelligence Articficielle. En particulier, je m'intéresse au raisonnement incertain et au raisonnement en présence d'incohérence. Je m'intéresse également à la compilation de connaissances, aux logiques de description et à la corrélation d'alertes.
Diplôme de Magister en Informatique de l’Université des Sciences et de la Technologie Houari Boumediene U.S.T.H.B (Alger).
- Option: Intelligence Artificielle et Bases de Données Avancées.
- Mention TRES BIEN.
Diplôme d’Ingénieur d’Etat en Informatique de l'U.S.T.H.B.
- Mention TRES BIEN.
Diplôme du BAC, série Sciences Exactes du Lycée l'Emir Abd El Kader d'Alger.
- Mention Assez Bien.
J'ai effectué mon stage de Magister au sein du LRIA (Laboratoire de Recherche en Intelligence Artificielle) de l'U.S.T.H.B.
Le stage s'est articulé autour de l'inférence à partir de bases de croyances possibilistes. Plus précisément, nous avons développé un nouveau compilateur possibiliste afin d'améliorer l'inférence d'un point de vue computationnel et ce en tirant profit des derniers travaux réalisés en matières de compilation de connaissances classiques et possibilistes.
Le stage a été encadré par Salem BENFERHAT et Habiba DRIAS.
Mon stage d'Ingénieur a été effectué dans le LRIA de l'U.S.T.H.B.
Nous avons conçu une nouvelle méta-heuristique inspirée du comportement des abeilles.
Cette méta-heuristique a été adaptée au problème de satisfiabilité maximum pondérée MAX-W-SAT.
Le stage a été encadré par Habiba DRIAS.
5. Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini. "A Lexicographic Inference for Partially Preordered Belief Bases . In proceedings of the 11th International Conference of Principles of Knowledge Representation and Reasoning (KR'2008). To appear.
4. Salem Benferhat, Safa Yahi, Habiba Drias. "On the Compilation of Possibilistic Default Theories. In proceedings of the 21st International FLAIRS conference (FLAIRS'2008). To appear.
3. Salem Benferhat, Safa Yahi et Habiba Drias. "Compilation de Bases de Croyances Stratifiées. In proceedings of the 8th International Symposium on Programming and Systems (ISPS'07), Alger, Algérie, 2007.
2. Salem Benferhat, Safa Yahi et Habiba Drias. "On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies". In proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pages 2425-2430, Hyderabad, India, 2007.
1. Habiba Drias, Souhila Sadeg et Safa Yahi. "Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem". In proceedings of the 8th International Work-Conference on Artificial and Natural Neural Networks (IWANN'05), pages 318-325, Barcelona, Spain, 2005.
Prix de major de la promotion 2004 des ingénieurs d'état en Informatique de l'U.S.T.H.B.
Chargée de travaux dirigés (TDs) du module Structures de Données Avancées, deuxième année cycle ingénieur en informatique, à l'I.N.I.
- Chargée de travaux dirrigés du module Structure Machine, première année cycle ingénieur en informatique, à l'I.N.I.
- Assistante de travaux pratiques du module Systèmes d'Exploitation et programmation en Visual C++ , troisième année cycle ingénieur en informatique, à l'U.S.T.H.B.
- Assistante de travaux pratiques du module Algorithmique et programmation en Pascal, première année cycle technicien supérieur en Informatique, à l'U.S.T.H.B.
JAVA, C, VISUAL C++, PASCAL, DELPHI, PHP, JAVA SCRIPT, DHTML, SQL.
Windows et Linux.
Lex, Yack, Latex...
Amatrice d'astronomie.